Language/OS - Multiplatform Resource Library/LANGUAGE OS.iso/t3_1/risc_src.lha/risc_sources/tman/manual.toc

Text File | 1990-10-02 | 9KB | 148 lines

\contentsline {chapter}{\numberline {1}Introduction}{13}
\contentsline {section}{\numberline {1.1}Notation}{13}
\contentsline {section}{\numberline {1.2}Naming Conventions}{14}
\contentsline {section}{\numberline {1.3}Language principles and conventions}{14}
\contentsline {chapter}{\numberline {2}Syntax and semantics}{17}
\contentsline {section}{\numberline {2.1}External representation}{17}
\contentsline {section}{\numberline {2.2}Core language}{18}
\contentsline {section}{\numberline {2.3}The standard environment}{18}
\contentsline {section}{\numberline {2.4}Undefined}{19}
\contentsline {section}{\numberline {2.5}Multiple values}{19}
\contentsline {chapter}{\numberline {3}Objects}{21}
\contentsline {section}{\numberline {3.1}Literals}{21}
\contentsline {section}{\numberline {3.2}Procedures}{22}
\contentsline {section}{\numberline {3.3}Object identity}{22}
\contentsline {section}{\numberline {3.4}Symbols}{23}
\contentsline {section}{\numberline {3.5}Predicates and truth values}{23}
\contentsline {section}{\numberline {3.6}Types}{24}
\contentsline {section}{\numberline {3.7}Continuations}{25}
\contentsline {chapter}{\numberline {4}Environments}{27}
\contentsline {section}{\numberline {4.1}Environments and contours}{27}
\contentsline {section}{\numberline {4.2}Local variables}{27}
\contentsline {section}{\numberline {4.3}Locales}{29}
\contentsline {section}{\numberline {4.4}Non-local reference}{30}
\contentsline {chapter}{\numberline {5}Control}{33}
\contentsline {section}{\numberline {5.1}Conditionals}{33}
\contentsline {section}{\numberline {5.2}Iteration}{35}
\contentsline {section}{\numberline {5.3}Procedure application}{37}
\contentsline {section}{\numberline {5.4}Sequencing}{37}
\contentsline {section}{\numberline {5.5}Explicit return}{37}
\contentsline {subsection}{\numberline {5.5.1}Non-local exits}{38}
\contentsline {subsection}{\numberline {5.5.2}Returning multiple values}{38}
\contentsline {section}{\numberline {5.6}Lazy evaluation}{39}
\contentsline {chapter}{\numberline {6}Side effects}{41}
\contentsline {section}{\numberline {6.1}Assignment}{41}
\contentsline {section}{\numberline {6.2}Locatives}{43}
\contentsline {section}{\numberline {6.3}Dynamic state}{44}
\contentsline {chapter}{\numberline {7}Operations}{47}
\contentsline {section}{\numberline {7.1}Fundamental forms}{47}
\contentsline {section}{\numberline {7.2}Defining operations}{49}
\contentsline {section}{\numberline {7.3}Example}{50}
\contentsline {chapter}{\numberline {8}Numbers}{51}
\contentsline {section}{\numberline {8.1}Predicates}{51}
\contentsline {section}{\numberline {8.2}Arithmetic}{52}
\contentsline {section}{\numberline {8.3}Comparison}{54}
\contentsline {section}{\numberline {8.4}Sign predicates}{55}
\contentsline {section}{\numberline {8.5}Transcendental functions}{55}
\contentsline {section}{\numberline {8.6}Bitwise logical operators}{56}
\contentsline {section}{\numberline {8.7}Coercion}{57}
\contentsline {section}{\numberline {8.8}Assignment}{57}
\contentsline {chapter}{\numberline {9}Lists}{59}
\contentsline {section}{\numberline {9.1}Predicates}{59}
\contentsline {section}{\numberline {9.2}Constructors}{60}
\contentsline {section}{\numberline {9.3}List access}{60}
\contentsline {section}{\numberline {9.4}Lists as sequences}{61}
\contentsline {section}{\numberline {9.5}Lists as sets}{62}
\contentsline {section}{\numberline {9.6}Mapping Procedures}{63}
\contentsline {section}{\numberline {9.7}Lists as associations}{64}
\contentsline {section}{\numberline {9.8}Lists as stacks}{64}
\contentsline {chapter}{\numberline {10}Trees}{67}
\contentsline {section}{\numberline {10.1}Comparison}{67}
\contentsline {section}{\numberline {10.2}Tree utilities}{68}
\contentsline {section}{\numberline {10.3}Destructuring}{68}
\contentsline {section}{\numberline {10.4}Quasiquote}{69}
\contentsline {chapter}{\numberline {11}Structures}{71}
\contentsline {section}{\numberline {11.1}Terminology}{71}
\contentsline {section}{\numberline {11.2}Defining structure types}{71}
\contentsline {section}{\numberline {11.3}Manipulating structure types}{72}
\contentsline {section}{\numberline {11.4}Manipulating structures}{74}
\contentsline {chapter}{\numberline {12}Characters and strings}{75}
\contentsline {section}{\numberline {12.1}Predicates}{76}
\contentsline {section}{\numberline {12.2}Comparison}{77}
\contentsline {section}{\numberline {12.3}String access}{78}
\contentsline {section}{\numberline {12.4}String manipulation}{79}
\contentsline {section}{\numberline {12.5}String header manipulation}{80}
\contentsline {section}{\numberline {12.6}Case conversion}{80}
\contentsline {section}{\numberline {12.7}Digit conversion}{81}
\contentsline {section}{\numberline {12.8}ASCII conversion}{81}
\contentsline {section}{\numberline {12.9}Symbols}{82}
\contentsline {chapter}{\numberline {13}Miscellaneous features}{83}
\contentsline {section}{\numberline {13.1}Comments and declarations}{83}
\contentsline {section}{\numberline {13.2}Errors and dead ends}{83}
\contentsline {section}{\numberline {13.3}Early binding}{84}
\contentsline {section}{\numberline {13.4}Symbol generators}{85}
\contentsline {section}{\numberline {13.5}Combinators}{85}
\contentsline {section}{\numberline {13.6}Vectors}{87}
\contentsline {section}{\numberline {13.7}Pools}{88}
\contentsline {section}{\numberline {13.8}Weak pointers}{89}
\contentsline {chapter}{\numberline {14}Syntax}{91}
\contentsline {section}{\numberline {14.1}The reader}{91}
\contentsline {section}{\numberline {14.2}Read tables and read macros}{93}
\contentsline {section}{\numberline {14.3}Standard compiler}{95}
\contentsline {section}{\numberline {14.4}Syntax Tables}{96}
\contentsline {section}{\numberline {14.5}Defining syntax}{96}
\contentsline {section}{\numberline {14.6}Local syntax}{97}
\contentsline {section}{\numberline {14.7}Macro expanders}{98}
\contentsline {chapter}{\numberline {15}Ports}{101}
\contentsline {section}{\numberline {15.1}General}{101}
\contentsline {section}{\numberline {15.2}Port switches}{102}
\contentsline {section}{\numberline {15.3}Input}{103}
\contentsline {section}{\numberline {15.4}Output}{104}
\contentsline {section}{\numberline {15.5}Formatted output}{105}
\contentsline {section}{\numberline {15.6}Miscellaneous}{106}
\contentsline {section}{\numberline {15.7}Example}{107}
\contentsline {chapter}{\numberline {16}Files}{109}
\contentsline {section}{\numberline {16.1}File systems}{109}
\contentsline {section}{\numberline {16.2}Filenames}{110}
\contentsline {section}{\numberline {16.3}Files}{111}
\contentsline {chapter}{\numberline {17}Program structure}{113}
\contentsline {section}{\numberline {17.1}Environment structure}{113}
\contentsline {section}{\numberline {17.2}Source files}{114}
\contentsline {section}{\numberline {17.3}File syntax}{114}
\contentsline {section}{\numberline {17.4}Loading files}{115}
\contentsline {section}{\numberline {17.5}File compilation}{116}
\contentsline {chapter}{\numberline {18}User interface}{119}
\contentsline {section}{\numberline {18.1}Invoking {\pbf T}}{119}
\contentsline {section}{\numberline {18.2}Suspending {\pbf T}}{120}
\contentsline {section}{\numberline {18.3}Read-eval-print loops}{120}
\contentsline {section}{\numberline {18.4}Command levels}{121}
\contentsline {section}{\numberline {18.5}Transcripts}{122}
\contentsline {section}{\numberline {18.6}Customization}{122}
\contentsline {chapter}{\numberline {19}Debugging}{123}
\contentsline {section}{\numberline {19.1}Errors}{123}
\contentsline {section}{\numberline {19.2}Debugging utilities}{124}
\contentsline {section}{\numberline {19.3}The inspector}{124}
\contentsline {section}{\numberline {19.4}Debugging primitives}{127}
\contentsline {section}{\numberline {19.5}Miscellaneous}{127}
\contentsline {chapter}{\numberline {A}Foreign-function Interface}{129}
\contentsline {section}{\numberline {A.1}Foreign Type Specification}{130}
\contentsline {section}{\numberline {A.2}Pascal (Apollo) Enumerated Types}{131}
\contentsline {section}{\numberline {A.3}Pascal Sets (Apollo)}{131}
\contentsline {section}{\numberline {A.4}Returned Values and Out Parameters}{131}
\contentsline {chapter}{\numberline {B}Libraries}{133}
\contentsline {section}{\numberline {B.1}Tables}{133}
\contentsline {section}{\numberline {B.2}Random Integers}{134}
\contentsline {section}{\numberline {B.3}List utilities}{134}
\contentsline {section}{\numberline {B.4}Type-specific arithmetic}{136}
\contentsline {chapter}{\numberline {C}Other Lisps}{139}
\contentsline {section}{\numberline {C.1}Scheme Environment}{139}
\contentsline {chapter}{\numberline {D}ASCII character conversion}{141}
\contentsline {chapter}{\numberline {E}Friendly advice}{143}
\contentsline {section}{\numberline {E.1}Comparison with other Lisp dialects}{143}
\contentsline {section}{\numberline {E.2}Incompatibilities}{143}
\contentsline {chapter}{\numberline {F}Future work}{145}
\contentsline {section}{\numberline {F.1}Language design problems}{145}
\contentsline {section}{\numberline {F.2}Common Lisp influence}{146}
\contentsline {section}{\numberline {F.3}Bugs in the implementation}{147}
\contentsline {chapter}{\numberline {G}Notes on the 4th edition}{149}